The majority of antimicrobials that are produced are administered to animals, particularly food animals. While the overall impact of antimicrobial use in animals on antimicrobial resistance in humans and the environment is unclear, it undeniably has a role. Yet, some degree of antimicrobial use in animals is necessary for animal health and welfare purposes. Balancing the benefits and risks of antimicrobial use in animals is challenging because of the complexity of the problem and limitations in available data. However, a range (...) of measures can be implemented to reduce, refine and optimize antimicrobial use in animals, with a goal of minimizing the impact on human and environmental health while maintaining necessary therapeutic use in animals. A pandemic instrument can provide the necessary foundation for the whole-of-society and whole-of government One Health approach that is required to strengthen surveillance, communication, collaboration, and action. (shrink)

The complex hexaploid wheat genome offers many challenges for genomics research. Expressed sequence tags facilitate the analysis of gene-coding regions and provide a rich source of molecular markers for mapping and comparison with model organisms. The objectives of this study were to construct a high-density EST chromosome bin map of wheat homoeologous group 2 chromosomes to determine the distribution of ESTs, construct a consensus map of group 2 ESTs, investigate synteny, examine patterns of duplication, and assess the colinearity with rice (...) of ESTs assigned to the group 2 consensus bin map. A total of 2600 loci generated from 1110 ESTs were mapped to group 2 chromosomes by Southern hybridization onto wheat aneuploid chromosome and deletion stocks. A consensus map was constructed of 552 ESTs mapping to more than one group 2 chromosome. Regions of high gene density in distal bins and low gene density in proximal bins were found. Two interstitial gene-rich islands flanked by relatively gene-poor regions on both the short and long arms and having good synteny with rice were discovered. The map locations of two ESTs indicated the possible presence of a small pericentric inversion on chromosome 2B. Wheat chromosome group 2 was shown to share syntenous blocks with rice chromosomes 4 and 7. (shrink)

We performed an EEG graph analysis on data from 31 typical readers and 24 dyslexics, recorded while they were engaged in an audiovisual task and during resting-state. The task simulates reading acquisition as participants learned new letter-sound mappings via feedback. EEG data was filtered for the delta, theta, alpha, and beta bands. We computed the Phase Lag Index to provide an estimate of the functional connectivity between all pairs of electrodes per band. Then, networks were constructed using a Minimum Spanning (...) Tree, a unique sub-graph connecting all nodes without loops, aimed at minimizing bias in between groups and conditions comparisons. Both groups showed a comparable accuracy increase during task blocks, indicating that they correctly learned the new associations. The EEG results revealed lower task-specific theta connectivity, and lower theta degree correlation over both rest and task recordings, indicating less network integration in dyslexics compared to typical readers. This pattern suggests a role of theta oscillations in dyslexia and may reflect differences in task engagement between the groups, although robust correlations between MST metrics and performance indices were lacking. (shrink)

In this international and interdisciplinary collection of critical essays, distinguished contributors examine a crucial premise of traditional readings of Plato's dialogues: that Plato's own doctrines and arguments can be read off the statements made in the dialogues by Socrates and other leading characters. The authors argue in general and with reference to specific dialogues, that no character should be taken to be Plato's mouthpiece. This is essential reading for students and scholars of Plato.

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

A total of 1918 loci, detected by the hybridization of 938 expressed sequence tag unigenes from 26 Triticeae cDNA libraries, were mapped to wheat homoeologous group 4 chromosomes using a set of deletion, ditelosomic, and nulli-tetrasomic lines. The 1918 EST loci were not distributed uniformly among the three group 4 chromosomes; 41, 28, and 31% mapped to chromosomes 4A, 4B, and 4D, respectively. This pattern is in contrast to the cumulative results of EST mapping in all homoeologous groups, as reported (...) elsewhere, that found the highest proportion of loci mapped to the B genome. Sixty-five percent of these 1918 loci mapped to the long arms of homoeologous group 4 chromosomes, while 35% mapped to the short arms. The distal regions of chromosome arms showed higher numbers of loci than the proximal regions, with the exception of 4DL. This study confirmed the complex structure of chromosome 4A that contains two reciprocal translocations and two inversions, previously identified. An additional inversion in the centromeric region of 4A was revealed. A consensus map for homoeologous group 4 was developed from 119 ESTs unique to group 4. Forty-nine percent of these ESTs were found to be homoologous to sequences on rice chromosome 3, 12% had matches with sequences on other rice chromosomes, and 39% had no matches with rice sequences at all. Limited homology was found between wheat ESTs on homoeologous group 4 and the Arabidopsis genome. Forty-two percent of the homoeologous group 4 ESTs could be classified into functional categories on the basis of blastX searches against all protein databases. (shrink)

The objectives of this study were to develop a high-density chromosome bin map of homoeologous group 7 in hexaploid wheat, to identify gene distribution in these chromosomes, and to perform comparative studies of wheat with rice and barley. We mapped 2148 loci from 919 EST clones onto group 7 chromosomes of wheat. In the majority of cases the numbers of loci were significantly lower in the centromeric regions and tended to increase in the distal regions. The level of duplicated loci (...) in this group was 24% with most of these loci being localized toward the distal regions. One hundred nineteen EST probes that hybridized to three fragments and mapped to the three group 7 chromosomes were designated landmark probes and were used to construct a consensus homoeologous group 7 map. An additional 49 probes that mapped to 7AS, 7DS, and the ancestral translocated segment involving 7BS also were designated landmarks. Landmark probe orders and comparative maps of wheat, rice, and barley were produced on the basis of corresponding rice BAC/PAC and genetic markers that mapped on chromosomes 6 and 8 of rice. Identification of landmark ESTs and development of consensus maps may provide a framework of conserved coding regions predating the evolution of wheat genomes. (shrink)

It is always possible to construct a real function φ, given random quantities X and Y with continuous distribution functions F and G, respectively, in such a way that φ(X) and φ(Y), also random quantities, have both the same distribution function, say H. This result of De Finetti introduces an alternative way to somehow describe the `opinion' of a group of experts about a continuous random quantity by the construction of Fields of coincidence of opinions (FCO). A Field of coincidence (...) of opinions is a finite union of intervals where the opinions of the experts coincide with respect to that quantity of interest. We speculate on (dis)advantages of Fields of Opinion compared to usual `probability' measures of a group and on their relation with a continuous version of the well-known Allais' paradox. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Scrivere nell'anima: verità, dialettica e persuasione in Platone; and: Oralità e scrittura in PlatoneFrancisco J. GonzalezFranco Trabattoni. Scrivere nell'anima: verità, dialettica e persuasione in Platone. Firenze: La Nouva Italia Editrice, 1994. Pp. 396. Paper, 24000 Lire.Franco Trabattoni. Oralità e scrittura in Platone. Milano: Università Degli Studi di Milano, 1999. Pp. 125. Paper, 16000 Lire.Trabattoni's masterful 1994 book, which the shorter 1999 book supplements in important ways, offers nothing (...) less than a refreshingly new and provocative interpretation of Plato's philosophy as a whole that makes it neither "conclusive-dogmatic" nor "problematic-sceptical" (7, 41-47, 161, 361-3). For Plato, on Trabattoni's account, while objective truth exists, any logos is incapable of fully expressing it and therefore refutable (158). On the other hand, dialectic can arrive at a logos sufficient (hikanos) for persuading a particular interlocutor in the context of a particular discussion (119-120), and thus for ethical and political action (330). Truth is therefore to be found onlyin dialogue (75-6, 338): that is, only where one person persuades another (249, 252, 328-9; 1999, 75). Persuasion and homologia are thus a necessary, though not sufficient condition of truth: only when capable of responding repeatedly to a wide variety of questions and objections does a persuasion deserve to be called "true" (158-9, 252, 329). This view rejects both the sophistical identification of truth with persuasion as such and the dogmatic identification of truth with universal doctrines.Because persuasion and homologia are thus essential to it, philosophy cannot be an objective science but must always be at its core a form of rhetoric (239, and thus protreptic and ad hominem, 165-6, 355, 359), which is what Trabattoni takes the Phaedrus to show (48-99). In 1999 Trabattoni brilliantly demonstrated the unity of the Phaedrus by showing how both the discussion of eros and the critique of writing are closely linked to this conception of philosophy as rhetoric (54-93). Philosophy is not, however, the kind of rhetoric that, focused on words rather than truth, fails to persuade in a way that is stable and enduring (87; 1999, 75-6).In the course of defending his "dialectical-dialogical" interpretation, Trabattoni provides an extraordinarily thorough and insightful critique of another interpretation that claims to offer a new Plato and that has become very influential in Trabattoni's native Italy: the "esotericist" interpretation, according to which fundamental questions left open by the dialogues are answered by a doctrine of principles which Plato communicated only orally. Trabattoni's 1999 book provides a very helpful account of the history and motives of the debate surrounding Plato's unwritten teachings, with regard to both their content and their significance (1-42). I see the following points of Trabattoni's critique as seriously challenging and, if unanswered, even discrediting the esotericist position: [End Page 269]1) While the esotericists interpret the critique of writing in the Phaedrus as arguing for the superiority of oral discourse as such, Trabattoni interprets it as arguing instead for the superiority of the dialogical situation in which interlocutors can be chosen and their questions and objections addressed (19-26; 1999, 83). Fixed oral doctrines would be no more dialogical than written doctrines and thus no more capable of engendering knowledge "in the soul" (63), much less of constituting this knowledge (25). What would be superior to Plato's writings, according to the Phaedrus, is a dialogue with Plato, not what Plato said orally, lifted out of its dialogical context and reported in writing by Aristotle (115; 1999, 84-5, 124). Trabattoni interprets the Seventh Letter, in his complementary accounts of 1994 and 1999, as similarly contradicting, rather than confirming, the esotericist interpretation (210-11; 1999, 116-9).2) Thomas Szlezàk has interpreted those passages where the main interlocutor deliberately leaves something out of the discussion ("Aussparungstellen") as referring to unwritten doctrines. Trabattoni argues that they are instead meant to indicate to the unknown reader, whose possible objections and questions cannot be anticipated, the possibility of proceeding further in the discussion (112-3, 182; 1999, 124). "[W]hen the dialogues are silent, they are silent always where there no... (shrink)

45~ JOURNAL OF THE HISTORY OF PHILOSOPHY 34:3 JULY 1996 text" , and an element of "oralism" remains in all of Plato's written works. Nonetheless, Robb's "speculations" on the Platonic dialogues are certainly worth reading. Robb is quite aware that his book stirs up controversial issues, and some of these are briefly stated and discussed in his concluding chapter, "Homer, the Alphabet, and the Progress of Greek Literacy and Paideia." And yet in the very notions of "literacy" and "progress," some (...) weaknesses in Robb's work can be found. For example, as W. V. Harris observed in his Ancient Literacy , 3ft., there is no single definition of literacy or orality, and although Robb cites Harris's book , he takes no special account of it in attempting to define or characterize what he means by "orality" and "literacy." And in his zeal to provide a survey of the influence of alphabetic literacy on Plato, Robb perhaps oversimplifies the tension that existed between the spoken and written work in the ancient world. Much of Greek "literature" remains the product of literate, slave- owning, and well-educated authors, written for their peers. Robb suggests as much in his discussion of mousild and sunousia , and one might desire a "sociology" of ancient Athens, for example, in which economic status and.. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Scrivere nell'anima: verità, dialettica e persuasione in Platone; and: Oralità e scrittura in PlatoneFrancisco J. GonzalezFranco Trabattoni. Scrivere nell'anima: verità, dialettica e persuasione in Platone. Firenze: La Nouva Italia Editrice, 1994. Pp. 396. Paper, 24000 Lire.Franco Trabattoni. Oralità e scrittura in Platone. Milano: Università Degli Studi di Milano, 1999. Pp. 125. Paper, 16000 Lire.Trabattoni's masterful 1994 book, which the shorter 1999 book supplements in important ways, offers nothing (...) less than a refreshingly new and provocative interpretation of Plato's philosophy as a whole that makes it neither "conclusive-dogmatic" nor "problematic-sceptical" (7, 41-47, 161, 361-3). For Plato, on Trabattoni's account, while objective truth exists, any logos is incapable of fully expressing it and therefore refutable (158). On the other hand, dialectic can arrive at a logos sufficient (hikanos) for persuading a particular interlocutor in the context of a particular discussion (119-120), and thus for ethical and political action (330). Truth is therefore to be found onlyin dialogue (75-6, 338): that is, only where one person persuades another (249, 252, 328-9; 1999, 75). Persuasion and homologia are thus a necessary, though not sufficient condition of truth: only when capable of responding repeatedly to a wide variety of questions and objections does a persuasion deserve to be called "true" (158-9, 252, 329). This view rejects both the sophistical identification of truth with persuasion as such and the dogmatic identification of truth with universal doctrines.Because persuasion and homologia are thus essential to it, philosophy cannot be an objective science but must always be at its core a form of rhetoric (239, and thus protreptic and ad hominem, 165-6, 355, 359), which is what Trabattoni takes the Phaedrus to show (48-99). In 1999 Trabattoni brilliantly demonstrated the unity of the Phaedrus by showing how both the discussion of eros and the critique of writing are closely linked to this conception of philosophy as rhetoric (54-93). Philosophy is not, however, the kind of rhetoric that, focused on words rather than truth, fails to persuade in a way that is stable and enduring (87; 1999, 75-6).In the course of defending his "dialectical-dialogical" interpretation, Trabattoni provides an extraordinarily thorough and insightful critique of another interpretation that claims to offer a new Plato and that has become very influential in Trabattoni's native Italy: the "esotericist" interpretation, according to which fundamental questions left open by the dialogues are answered by a doctrine of principles which Plato communicated only orally. Trabattoni's 1999 book provides a very helpful account of the history and motives of the debate surrounding Plato's unwritten teachings, with regard to both their content and their significance (1-42). I see the following points of Trabattoni's critique as seriously challenging and, if unanswered, even discrediting the esotericist position: [End Page 269]1) While the esotericists interpret the critique of writing in the Phaedrus as arguing for the superiority of oral discourse as such, Trabattoni interprets it as arguing instead for the superiority of the dialogical situation in which interlocutors can be chosen and their questions and objections addressed (19-26; 1999, 83). Fixed oral doctrines would be no more dialogical than written doctrines and thus no more capable of engendering knowledge "in the soul" (63), much less of constituting this knowledge (25). What would be superior to Plato's writings, according to the Phaedrus, is a dialogue with Plato, not what Plato said orally, lifted out of its dialogical context and reported in writing by Aristotle (115; 1999, 84-5, 124). Trabattoni interprets the Seventh Letter, in his complementary accounts of 1994 and 1999, as similarly contradicting, rather than confirming, the esotericist interpretation (210-11; 1999, 116-9).2) Thomas Szlezàk has interpreted those passages where the main interlocutor deliberately leaves something out of the discussion ("Aussparungstellen") as referring to unwritten doctrines. Trabattoni argues that they are instead meant to indicate to the unknown reader, whose possible objections and questions cannot be anticipated, the possibility of proceeding further in the discussion (112-3, 182; 1999, 124). "[W]hen the dialogues are silent, they are silent always where there no... (shrink)

El artículo analiza el trabajo de apropiación crítica llevado a cabo por Enrique Dussel de la obra de F. W. J. Schelling. Es interesante analizar, desde el marco aportado por la Historia de las Ideas en América Latina, cómo el filósofo de la liberación entiende y resignifica las categorías filosóficas desarrolladas por el filósofo romántico. El artículo se propone identificar los supuestos epistemológicos y metodológicos mediadores en este trabajo de interpretación categorial que le permite al filósofo argentino, entre otros aportes, (...) articular el método analéctico, método a partir del cual es posible proponer una filosofía que se aparta de la dialéctica de lo Uno y puede conceptualmente llegar al otro. (shrink)

Life, work, and influences -- Life -- Work -- Influences -- Metaphysics -- The intelligible world -- The existence of the intelligible world -- The intelligible and the divine world -- The intelligible and the natural world -- Knowledge -- Mind and body -- The souls of animals -- Knowledge : thought and souls -- Knowledge : God -- Mediate knowledge : external world -- Discussion and assessment of Norris's theory -- Was Norris an idealist? -- Faith and reason -- (...) The Socinian controversy -- Faith -- Reason -- Above reason and contrary to reason -- The measure of truth -- Faith and reason -- Malebranche -- Descartes -- Locke -- Love -- The theory of love -- The regulation of love -- The measure of divine love -- Controversy with Locke -- Norris's criticisms of Locke -- Locke's responses -- Concluding comments. (shrink)

Appearing in English for the first time, Schelling’s 1842 lectures develop the idea that many philosophical concepts are born of religious-mythological notions.

This unique collection of letters portrays the life and times of John of Salisbury, the devoted secretary of Archbishop Theobald, the faithful friend and...

Op basis van de zgn. wijsbegeerte der wetsidee van Dooyeweerd (1894-1977) bouwt de auteur een christelijke, wijsgerige antropologie.

Through clear explanation of its characteristic concepts and doctrines, and paying close attention to the published works of its philosophers, the volume ...

Inleidend studieboek op universitair niveau over de Nederlandse rechtswetenschap.

This is an English translation of Schelling's Ideas for a Philosophy of Nature (first published in 1797 and revised in 1803), one of the most significant works in the German tradition of philosophy of nature and early nineteenth-century philosophy of science. It stands in opposition to the Newtonian picture of matter as constituted by inert, impenetrable particles, and argues instead for matter as an equilibrium of active forces that engage in dynamic polar opposition to one another. In the revisions of (...) 1803 Schelling incorporated this dialectical view into a neo-Platonic conception of an original unity divided upon itself. The text is of more than simply historical interest: its daring and original vision of nature, philosophy, and empirical science will prove absorbing reading for all philosophers concerned with post-Kantian German idealism, for scholars of German Romanticism, and for historians of science. (shrink)

In Search of a Political Philosophy is an analysis of the three democratic `isms'--conservatism, liberalism, and socialism--and of the distinct nature of the all-consuming ideology of Marxist communism. W. J. Stankiewicz is concerned with the conscious and unconscious assumptions of the proponents and followers of each ideology, and those of their theoreticians and critics. Stankiewicz examines the norms by which political ideologies are characterized, and discusses which of these are given precedence. He provides an analysis of how each ideology views (...) such issues as freedom and restraint, responsibility, equality, justice, power, authority, property, human nature and happiness. He also examines the areas of ideological contiguity and mutual influences, the sources of ideological incomprehension in our society, and the forces that split Western societies. In Search of a Political Philosophy takes issue with the positions of some of our leading political theorists and represents an original contribution to political philosophy in its own right. It makes a stimulating and challenging contribution to the areas of politics, political philosophy, ethics, political and social theory, the history of political thought, and the history of ideas. (shrink)

There exist important deductive systems, such as the non-normal modal logics, that are not proper subjects of classical algebraic logic in the sense that their metatheory cannot be reduced to the equational metatheory of any particular class of algebras. Nevertheless, most of these systems are amenable to the methods of universal algebra when applied to the matrix models of the system. In the present paper we consider a wide class of deductive systems of this kind called protoalgebraic logics. These include (...) almost all (non-pathological) systems of prepositional logic that have occurred in the literature. The relationship between the metatheory of a protoalgebraic logic and its matrix models is studied. The following results are obtained for any finite matrix model U of a filter-distributive protoalgebraic logic : (I) The extension U of is finitely axiomatized (provided has only finitely many inference rules); (II) U has only finitely many extensions. (shrink)

This paper is based on Lectures 1, 2 and 4 in the series of ten lectures titled “Algebraic Structures for Logic” that Professor Blok and I presented at the Twenty Third Holiday Mathematics Symposium held at New Mexico State University in Las Cruces, New Mexico, January 8-12, 1999. These three lectures presented a new approach to the algebraization of deductive systems, and after the symposium we made plans to publish a joint paper, to be written by Blok, further developing these (...) ideas. That project was still incomplete when Blok died. In fact, there is no indication that he had prepared a draft of the paper, and we do not know what new material he intended to include. I am therefore not in a position to complete the project as he had envisioned it. So, I have settled for the more limited objective of presenting the material from the three lectures, leaving to others the task of adapting the techniques used there to more general situations. (shrink)

Modal logics are studied in their algebraic disguise of varieties of so-called modal algebras. This enables us to apply strong results of a universal algebraic nature, notably those obtained by B. Jonsson. It is shown that the degree of incompleteness with respect to Kripke semantics of any modal logic containing the axiom □ p → p or containing an axiom of the form $\square^mp \leftrightarrow\square^{m + 1}p$ for some natural number m is 2 ℵ 0 . Furthermore, we show that (...) there exists an immediate predecessor of classical logic (axiomatized by $p \leftrightarrow \square p$ ) which is not characterized by any finite algebra. The existence of modal logics having 2 ℵ 0 immediate predecessors is established. In contrast with these results we prove that the lattice of extensions of S4 behaves much better: a logic extending S4 is characterized by a finite algebra iff it has finitely many extensions and any such logic has only finitely many immediate predecessors, all of which are characterized by a finite algebra. (shrink)

We study modal logics in the setting of varieties of modal algebras. Any variety of modal algebras generated by a finite algebra — such, a variety is called tabular — has only finitely many subvarieties, i.e. is of finite height. The converse does not hold in general. It is shown that the converse does hold in the lattice of varieties of K4-algebras. Hence the lower part of this lattice consists of tabular varieties only. We proceed to show that there is (...) a continuum of pretabular varieties of K4-algebras — those are the non-tabular varieties all of whose proper subvarieties are tabular — in contrast with Maksimova's result that there are only five pretabular varieties of S4-algebras. (shrink)

The notion of an algebraic semantics of a deductive system was proposed in [3], and a preliminary study was begun. The focus of [3] was the definition and investigation of algebraizable deductive systems, i.e., the deductive systems that possess an equivalent algebraic semantics. The present paper explores the more general property of possessing an algebraic semantics. While a deductive system can have at most one equivalent algebraic semantics, it may have numerous different algebraic semantics. All of these give rise to (...) an algebraic completeness theorem for the deductive system, but their algebraic properties, unlike those of equivalent algebraic semantics, need not reflect the metalogical properties of the deductive system. Many deductive systems that don't have an equivalent algebraic semantics do possess an algebraic semantics; examples of these phenomena are provided. It is shown that all extensions of a deductive system that possesses an algebraic semantics themselves possess an algebraic semantics. Necessary conditions for the existence of an algebraic semantics are given, and an example of a protoalgebraic deductive system that does not have an algebraic semantics is provided. The mono-unary deductive systems possessing an algebraic semantics are characterized. Finally, weak conditions on a deductive system are formulated that guarantee the existence of an algebraic semantics. These conditions are used to show that various classes of non-algebraizable deductive systems of modal logic, relevance logic and linear logic do possess an algebraic semantics. (shrink)

The present paper is a study in abstract algebraic logic. We investigate the correspondence between the metalogical Beth property and the algebraic property of surjectivity of epimorphisms. It will be shown that this correspondence holds for the large class of equivalential logics. We apply our characterization theorem to relevance logics and many-valued logics.

A well-known result, going back to the twenties, states that, under some reasonable assumptions, any logic can be characterized as the set of formulas satisfied by a matrix 〈,F〉, whereis an algebra of the appropriate type, andFa subset of the domain of, called the set of designated elements. In particular, every quasi-classical modal logic—a set of modal formulas, containing the smallest classical modal logicE, which is closed under the inference rules of substitution and modus ponens—is characterized by such a matrix, (...) wherenow is a modal algebra, andFis a filter of. If the modal logic is in fact normal, then we can do away with the filter; we can study normal modal logics in the setting of varieties of modal algebras. This point of view was adopted already quite explicitly in McKinsey and Tarski [8]. The observation that the lattice of normal modal logics is dually isomorphic to the lattice of subvarieties of a variety of modal algebras paved the road for an algebraic study of normal modal logics. The algebraic approach made available some general results from Universal Algebra, notably those obtained by Jónsson [6], and thereby was able to contribute new insights in the realm of normal modal logics [2], [3], [4], [10].The requirement that a modal logic be normal is rather a severe one, however, and many of the systems which have been considered in the literature do not meet it. For instance, of the five celebrated modal systems, S1–S5, introduced by Lewis, S4 and S5 are the only normal ones, while only SI fails to be quasi-classical. The purpose of this paper is to generalize the algebraic approach so as to be applicable not just to normal modal logics, but to quasi-classical modal logics in general. (shrink)

Let S denote the variety of Sugihara algebras. We prove that the lattice (K) of subquasivarieties of a given quasivariety K S is finite if and only if K is generated by a finite set of finite algebras. This settles a conjecture by Tokarz [6]. We also show that the lattice (S) is not modular.

The logic RM and its basic fragments (always with implication) are considered here as entire consequence relations, rather than as sets of theorems. A new observation made here is that the disjunction of RM is definable in terms of its other positive propositional connectives, unlike that of R. The basic fragments of RM therefore fall naturally into two classes, according to whether disjunction is or is not definable. In the equivalent quasivariety semantics of these fragments, which consist of subreducts of (...) Sugihara algebras, this corresponds to a distinction between strong and weak congruence properties. The distinction is explored here. A result of Avron is used to provide a local deduction-detachment theorem for the fragments without disjunction. Together with results of Sobociski, Parks and Meyer (which concern theorems only), this leads to axiomatizations of these entire fragments — not merely their theorems. These axiomatizations then form the basis of a proof that all of the basic fragments of RM with implication are finitely axiomatized consequence relations. (shrink)

W. J. Mander presents the first ever synoptic history of British Idealism, the school of thought which dominated English-language philosophy from the 1860s to the early 20th century. He restores to its proper place this neglected period of philosophy, introducing the exponents of Idealism and explaining its distinctive concepts and doctrines.